Software flow control - PDFSEARCH.IO - Document Search Engine

Software flow control
Results: 1051

#	Item
431	Enhancing Symbolic Execution with Veritesting Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley Carnegie Mellon University {thanassis, alexandre, sangkilc, dbrumley}@cmu.edu Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-03-17 11:29:44 Software testing Automated theorem proving Concolic testing Software metrics KeY Symbolic execution Code coverage Control flow graph Algorithm Software Computing Formal methods
432	Ruby Performance Optimization Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2015-03-23 16:46:38 C++ Standard Library Iterator Object-oriented programming Associative arrays Control flow Ruby Sequence container Associative containers For loop Computing Software engineering Computer programming
433	Native x86 Decompilation using Semantics-Preserving Structural Analysis and Iterative Control-Flow Structuring Edward J. Schwartz JongHyup Lee Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-12-17 15:18:11 Decompiler Computing Control flow graph Data-flow analysis Algorithm Static single assignment form Control flow Compiler Graph Compiler construction Mathematics Software
434	Acceptor-Connector An Object Creational Pattern for Connecting and Initializing Communication Services Douglas C. Schmidt [removed] Department of Computer Science Add to Reading List Source URL: www.cs.wustl.edu Language: English - Date: 2008-04-14 16:51:06 Concurrent computing Reactor pattern Transmission Control Protocol Event loop Event Exception handling Computing Software engineering Control flow
435	Sax Basic The Sax Basic Language provides the core language definition. It is Visual Basic for Applications(TM) compatible. Sax Basic Language Copyright[removed]Polar Engineering and Consulting All rights reserved. Add to Reading List Source URL: ftgsoftware.com Language: English - Date: 2002-10-06 20:03:48 Scripting languages Subroutines Control flow AS/400 AS/400 Control Language Open Programming Language Visual Basic Eval Constructor Computing Software engineering Computer programming
436	BT-1 Bit Error Rate Tester w/ DNP3, Modbus, Mbits Polling tests can be sync or async. A BT-1 can be set as a host with up to 16 drop BT1’s. The polling tests provide control over timeouts, retries and block size. The B Add to Reading List Source URL: www.dcbnet.com Language: English - Date: 2010-12-27 15:12:11 Computing Telecommunications engineering DNP3 Logical Link Control Modbus Software flow control RS-232 Flow control Bit error rate Technology Data transmission Network performance
437	The Reddick VBA (RVBA) Coding Conventions (version[removed]Copyright © 1999 by Greg Reddick What follows are the Reddick VBA (RVBA) Coding Conventions. The objectives of the conventions are to make code: • Add to Reading List Source URL: www.xoc.net Language: English - Date: 2008-07-23 19:45:33 Procedural programming languages Source code Microsoft BASIC Switch statement Control flow Comment Goto Conditional C Computer programming Computing Software engineering
438	Pascal Validation Suite Report Pascal processor identification The ACK-Pascal compiler produces code for an EM machine as defined in [1]. It is up to the implementor of the EM machine whether errors like integer overflo Add to Reading List Source URL: tack.sourceforge.net Language: English - Date: 2011-02-11 16:00:24 Psychometrics Procedural programming languages Software testing Tests Control flow For loop Statistical hypothesis testing Pascal ALGOL 68 Software engineering Computing Programming language theory
439	Running BPEL Processes without Central Engines Weihai Yu Department of Computer Science University of Tromsø, Norway [removed] Abstract Add to Reading List Source URL: www.nik.no Language: English - Date: 2007-10-16 03:12:26 Workflow technology Control flow Software engineering Business Process Execution Language Continuation Exception handling Process management Computing Systems engineering
440	Discovering Faults in Idiom-Based Exception Handling Magiel Bruntink Arie van Deursen Tom Tourwe´ Add to Reading List Source URL: www.st.ewi.tudelft.nl Language: English - Date: 2009-11-26 15:59:20 Control flow Programming idioms Exception handling Computer errors Infinite loop Setjmp.h Fault injection Segmentation fault Computing Computer programming Software engineering

UPDATE